1. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
2. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
3. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA9
.
65
.
S6
2007
4. An introduction to Gödel's theorems /
پدیدآورنده : Peter Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical
5. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
6. Gödel remembered :
پدیدآورنده : R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
7. Gödel's theorem in focus /
پدیدآورنده : edited by S.G. Shanker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.
رده :
QA9
.
65
.
G63
1989
8. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
9. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
